So r0 operator and godel operator are united in the systems ha the negation - a with respect to parameter a is defined in ha , the many - valued system h1 / 2 = ( [ 0 , 1 ] - 1 / 2 , 1 / 2 ) is discussed in detail . the classification theorem of tautologies in f ( s ) is obtained in h1 / 2 . the classfication of tautologies is defined on hq 本文還在h _系統中引入了帶參數的非運算,較細致地研究了多值系統的子代數理論,以為賦值域建立了f ( s )中重言式的分類定理,并將廣義重言式分類定理推廣到系統h _ ( 0 1 )中。
百科解釋
In mathematics, a classification theorem answers the classification problem "What are the objects of a given type, up to some equivalence?".